Nuprl Lemma : null_wf3
0,22
postcript
pdf
as
:Top List. null(
as
)
latex
Definitions
Top
,
t
T
,
x
:
A
.
B
(
x
)
,
null(
as
)
Lemmas
null
wf
,
top
wf
origin
as:Top List. null(as) 
as:Top List. null(as) Tx:A. B(x)